<?php
require_once 'languages.inc';

// set effective interface language
$locale = setlocale(LC_ALL, $User->Language());

// Specify location of translation tables and choose domain
$domain = 'messages';
bindtextdomain($domain,               $locale_dir);
bindtextdomain("iso_639",             $system_locale_dir);
bind_textdomain_codeset ($domain,     $charset);
bind_textdomain_codeset ("iso_639",   $charset);

// say("$locale_dir  $system_locale_dir $charset");
textdomain($domain);

// say(_("proof project book page"));
// say(textdomain(null));

?>
